This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
اقرأ المزيدThe book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
اقرأ المزيد